(let ((a 4))
  (let ((b 4))
    (= a b)))
